Словарь по логике - логические операции
Связанные словари
Логические операции
логические операции
операции, посредством которых из простых высказываний образуются сложные, из простых терминов сложные, из высказываний термины, из терминов высказывания и т. д. К Л. о., позволяющим из одних высказываний получать другие высказывания, относятся конъюнкция ("и", символически &), дизъюнкция ("или", v), импликация ("если, то", ->), эквивалентность ("если и только если", =), отрицание ("неверно, что", ~) и др. Так, если даны два произвольных высказывания A и В, из них с помощью конъюнкции получается сложное высказывание A & В, которое истинно, только когда A и B истинны; с помощью дизъюнкции получается сложное высказывание A v В, истинное, когда хотя бы одно из входящих в него высказываний истинно, и т. п. (см.: Логика высказываний).
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразделяются на пропозициональные (сентенциональные) связки, с помощью к-рых образуются выражения логики высказываний, и кванторы, введение к-рых позволяет расширить логику высказываний до логики предикатов. Л. о. позволяют строить сложные высказывания из нек-рых элементарных, подобно тому как союзы, союзные слова и обороты служат для построения сложных предложений из простых в естеств. языках. Напр., в классич. двузначной логике, в к-рой высказывания могут быть только либо истинными, либо ложными, Л. о. конъюнкции интерпретируется как союз «и» и его многочисл. синонимы и оттенки («а», «да», «но», «хотя», «между тем как», «а также», «кроме того» и т. д.); дизъюнкциикак один из смыслов («неразделительный») союза «или»; отрицание как частица «не» и её языковые эквиваленты; импликациипримерно как обороты «если ..., то ...» и «из... следует...» или глагол «влечёт»; эквиваленции как оборот «тогда и только тогда, когда» и его синонимы и т. п. Соответствие это не взаимнооднозначно и приблизительно; поэтому точные определения Л....Советский философский словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1495 | |
2 | 1307 | |
3 | 1163 | |
4 | 1008 | |
5 | 765 | |
6 | 710 | |
7 | 681 | |
8 | 677 | |
9 | 654 | |
10 | 652 | |
11 | 613 | |
12 | 611 | |
13 | 572 | |
14 | 571 | |
15 | 560 | |
16 | 558 | |
17 | 553 | |
18 | 538 | |
19 | 535 | |
20 | 521 |